大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Design Automation Technical Committee 的图书(共7308本)

Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models

0
索取号：
作者：Debbabi、 Mourad.、Hassa茂ne、 Fawzi.、Jarraya、 Yosr.、Soeanu、 Andrei.、Alawneh、 Luay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号：
作者：Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号：
作者：Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Compiler Design [electronic resource] : Virtual Machines

0
索取号：
作者：Wilhelm、 Reinhard.、Seidl、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Network Security [electronic resource] : 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

0
索取号：
作者：Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Integrated Greenhouse Systems for Mild Climates [electronic resource] : Climate Conditions, Design, Construction, Maintenance, Climate Control

0
索取号：
作者：von Zabeltitz、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Balanced Automation Systems for Future Manufacturing Networks [electronic resource] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings

0
索取号：
作者：Ortiz、 脕ngel.、Franco、 Rub茅n Dar铆o.、Gasquet、 Pedro G贸mez.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Silver Market Phenomenon [electronic resource] : Marketing and Innovation in the Aging Society

0
索取号：
作者：Kohlbacher、 Florian.、Herstatt、 Cornelius.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Digital Filters [electronic resource] : Basics and Design

0
索取号：
作者：Schlichth盲rle、 Dietrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

0
索取号：
作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

FORMS/FORMAT 2010 [electronic resource] : Formal Methods for Automation and Safety in Railway and Automotive Systems

0
索取号：
作者：Schnieder、 Eckehard.、Tarnai、 Geza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

0
索取号：
作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号：
作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Soft Computing in XML Data Management [electronic resource] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

0
索取号：
作者：Ma、 Zongmin.、Yan、 Li.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Networks [electronic resource] : 17th Conference, CN 2010, Ustro艅, Poland, June 15-19, 2010. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.